package tarantula.experiment.commons;

import junit.framework.TestCase;

public class CollectionsFailedUnsimplifiedTestsBug3 extends TestCase {

	  public void test6() throws Throwable {

	    org.apache.commons.collections.set.ListOrderedSet var0 = new org.apache.commons.collections.set.ListOrderedSet();
	    java.util.List var1 = var0.asList();
	    java.util.List var2 = var0.asList();
	    var0.clear();
	    java.lang.Integer var4 = new java.lang.Integer((-1));
	    org.apache.commons.collections.set.ListOrderedSet var5 = new org.apache.commons.collections.set.ListOrderedSet();
	    java.lang.Integer var6 = new java.lang.Integer((-1));
	    org.apache.commons.collections.set.ListOrderedSet var7 = new org.apache.commons.collections.set.ListOrderedSet();
	    java.util.List var8 = var7.asList();
	    org.apache.commons.collections.set.ListOrderedSet var9 = org.apache.commons.collections.set.ListOrderedSet.decorate((java.util.Set)var7);
	    boolean var10 = var5.addAll((int)var6, (java.util.Collection)var7);
	    boolean var11 = var0.addAll((int)var4, (java.util.Collection)var7);
	    org.apache.commons.collections.set.ListOrderedSet var12 = new org.apache.commons.collections.set.ListOrderedSet();
	    java.util.List var13 = var12.asList();
	    java.util.List var14 = var12.asList();
	    org.apache.commons.collections.set.ListOrderedSet var15 = new org.apache.commons.collections.set.ListOrderedSet();
	    java.util.List var16 = var15.asList();
	    org.apache.commons.collections.set.ListOrderedSet var17 = org.apache.commons.collections.set.ListOrderedSet.decorate((java.util.Set)var15);
	    org.apache.commons.collections.set.ListOrderedSet var18 = new org.apache.commons.collections.set.ListOrderedSet();
	    java.util.List var19 = var18.asList();
	    org.apache.commons.collections.set.ListOrderedSet var20 = org.apache.commons.collections.set.ListOrderedSet.decorate((java.util.Set)var15, var19);
	    boolean var21 = var12.containsAll((java.util.Collection)var19);
	    org.apache.commons.collections.set.ListOrderedSet var22 = org.apache.commons.collections.set.ListOrderedSet.decorate((java.util.Set)var0, var19);
	    org.apache.commons.collections.set.ListOrderedSet var23 = new org.apache.commons.collections.set.ListOrderedSet();
	    int var24 = var23.size();
	    boolean var25 = var0.add((java.lang.Object)var24);
	    java.lang.Short var26 = new java.lang.Short((short)1);
	    boolean var27 = var0.add((java.lang.Object)var26);
	    org.apache.commons.collections.set.ListOrderedSet var28 = new org.apache.commons.collections.set.ListOrderedSet();
	    java.util.List var29 = var28.asList();
	    java.util.List var30 = var28.asList();
	    var28.clear();
	    java.lang.Integer var32 = new java.lang.Integer((-1));
	    org.apache.commons.collections.set.ListOrderedSet var33 = new org.apache.commons.collections.set.ListOrderedSet();
	    java.lang.Integer var34 = new java.lang.Integer((-1));
	    org.apache.commons.collections.set.ListOrderedSet var35 = new org.apache.commons.collections.set.ListOrderedSet();
	    java.util.List var36 = var35.asList();
	    org.apache.commons.collections.set.ListOrderedSet var37 = org.apache.commons.collections.set.ListOrderedSet.decorate((java.util.Set)var35);
	    boolean var38 = var33.addAll((int)var34, (java.util.Collection)var35);
	    boolean var39 = var28.addAll((int)var32, (java.util.Collection)var35);
	    org.apache.commons.collections.set.ListOrderedSet var40 = new org.apache.commons.collections.set.ListOrderedSet();
	    java.util.List var41 = var40.asList();
	    java.util.List var42 = var40.asList();
	    org.apache.commons.collections.set.ListOrderedSet var43 = new org.apache.commons.collections.set.ListOrderedSet();
	    java.util.List var44 = var43.asList();
	    org.apache.commons.collections.set.ListOrderedSet var45 = org.apache.commons.collections.set.ListOrderedSet.decorate((java.util.Set)var43);
	    org.apache.commons.collections.set.ListOrderedSet var46 = new org.apache.commons.collections.set.ListOrderedSet();
	    java.util.List var47 = var46.asList();
	    org.apache.commons.collections.set.ListOrderedSet var48 = org.apache.commons.collections.set.ListOrderedSet.decorate((java.util.Set)var43, var47);
	    boolean var49 = var40.containsAll((java.util.Collection)var47);
	    org.apache.commons.collections.set.ListOrderedSet var50 = org.apache.commons.collections.set.ListOrderedSet.decorate((java.util.Set)var28, var47);
	    org.apache.commons.collections.set.ListOrderedSet var51 = new org.apache.commons.collections.set.ListOrderedSet();
	    int var52 = var51.size();
	    boolean var53 = var28.add((java.lang.Object)var52);
	    boolean var54 = var0.removeAll((java.util.Collection)var28);
	    
	    // Checks the contract:  equals-hashcode on var0 and var50
	    assertTrue("Contract failed: equals-hashcode on var0 and var50", var0.equals(var50) ? var0.hashCode() == var50.hashCode() : true);
	    
	    // Checks the contract:  equals-hashcode on var22 and var50
	    assertTrue("Contract failed: equals-hashcode on var22 and var50", var22.equals(var50) ? var22.hashCode() == var50.hashCode() : true);
	    
	    // Checks the contract:  equals-hashcode on var28 and var22
	    assertTrue("Contract failed: equals-hashcode on var28 and var22", var28.equals(var22) ? var28.hashCode() == var22.hashCode() : true);
	    
	    // Checks the contract:  equals-hashcode on var50 and var22
	    assertTrue("Contract failed: equals-hashcode on var50 and var22", var50.equals(var22) ? var50.hashCode() == var22.hashCode() : true);
	    
	    // Checks the contract:  equals-symmetric on var0 and var50.
	    assertTrue("Contract failed: equals-symmetric on var0 and var50.", var0.equals(var50) == var50.equals(var0));
	    
	    // Checks the contract:  equals-symmetric on var28 and var22.
	    assertTrue("Contract failed: equals-symmetric on var28 and var22.", var28.equals(var22) == var22.equals(var28));

	  }

	  public void test7() throws Throwable {

	    org.apache.commons.collections.set.ListOrderedSet var0 = new org.apache.commons.collections.set.ListOrderedSet();
	    java.util.List var1 = var0.asList();
	    java.util.List var2 = var0.asList();
	    var0.clear();
	    java.lang.Integer var4 = new java.lang.Integer((-1));
	    org.apache.commons.collections.set.ListOrderedSet var5 = new org.apache.commons.collections.set.ListOrderedSet();
	    java.lang.Integer var6 = new java.lang.Integer((-1));
	    org.apache.commons.collections.set.ListOrderedSet var7 = new org.apache.commons.collections.set.ListOrderedSet();
	    java.util.List var8 = var7.asList();
	    org.apache.commons.collections.set.ListOrderedSet var9 = org.apache.commons.collections.set.ListOrderedSet.decorate((java.util.Set)var7);
	    boolean var10 = var5.addAll((int)var6, (java.util.Collection)var7);
	    boolean var11 = var0.addAll((int)var4, (java.util.Collection)var7);
	    org.apache.commons.collections.set.ListOrderedSet var12 = new org.apache.commons.collections.set.ListOrderedSet();
	    java.util.List var13 = var12.asList();
	    java.util.List var14 = var12.asList();
	    org.apache.commons.collections.set.ListOrderedSet var15 = new org.apache.commons.collections.set.ListOrderedSet();
	    java.util.List var16 = var15.asList();
	    org.apache.commons.collections.set.ListOrderedSet var17 = org.apache.commons.collections.set.ListOrderedSet.decorate((java.util.Set)var15);
	    org.apache.commons.collections.set.ListOrderedSet var18 = new org.apache.commons.collections.set.ListOrderedSet();
	    java.util.List var19 = var18.asList();
	    org.apache.commons.collections.set.ListOrderedSet var20 = org.apache.commons.collections.set.ListOrderedSet.decorate((java.util.Set)var15, var19);
	    boolean var21 = var12.containsAll((java.util.Collection)var19);
	    org.apache.commons.collections.set.ListOrderedSet var22 = org.apache.commons.collections.set.ListOrderedSet.decorate((java.util.Set)var0, var19);
	    org.apache.commons.collections.set.ListOrderedSet var23 = new org.apache.commons.collections.set.ListOrderedSet();
	    int var24 = var23.size();
	    boolean var25 = var0.add((java.lang.Object)var24);
	    org.apache.commons.collections.set.ListOrderedSet var26 = new org.apache.commons.collections.set.ListOrderedSet();
	    java.util.List var27 = var26.asList();
	    java.util.List var28 = var26.asList();
	    boolean var29 = var0.contains((java.lang.Object)var28);
	    java.util.Iterator var30 = var0.iterator();
	    org.apache.commons.collections.set.ListOrderedSet var31 = new org.apache.commons.collections.set.ListOrderedSet();
	    java.util.List var32 = var31.asList();
	    org.apache.commons.collections.set.ListOrderedSet var33 = org.apache.commons.collections.set.ListOrderedSet.decorate((java.util.Set)var31);
	    java.lang.Integer var34 = new java.lang.Integer(100);
	    org.apache.commons.collections.set.ListOrderedSet var35 = new org.apache.commons.collections.set.ListOrderedSet();
	    java.util.List var36 = var35.asList();
	    org.apache.commons.collections.set.ListOrderedSet var37 = org.apache.commons.collections.set.ListOrderedSet.decorate((java.util.Set)var35);
	    boolean var38 = var31.addAll((int)var34, (java.util.Collection)var37);
	    java.lang.Boolean var39 = new java.lang.Boolean(false);
	    int var40 = var37.indexOf((java.lang.Object)var39);
	    boolean var41 = var0.removeAll((java.util.Collection)var37);
	    org.apache.commons.collections.set.ListOrderedSet var42 = new org.apache.commons.collections.set.ListOrderedSet();
	    java.util.List var43 = var42.asList();
	    java.util.List var44 = var42.asList();
	    var42.clear();
	    java.lang.Integer var46 = new java.lang.Integer((-1));
	    org.apache.commons.collections.set.ListOrderedSet var47 = new org.apache.commons.collections.set.ListOrderedSet();
	    java.lang.Integer var48 = new java.lang.Integer((-1));
	    org.apache.commons.collections.set.ListOrderedSet var49 = new org.apache.commons.collections.set.ListOrderedSet();
	    java.util.List var50 = var49.asList();
	    org.apache.commons.collections.set.ListOrderedSet var51 = org.apache.commons.collections.set.ListOrderedSet.decorate((java.util.Set)var49);
	    boolean var52 = var47.addAll((int)var48, (java.util.Collection)var49);
	    boolean var53 = var42.addAll((int)var46, (java.util.Collection)var49);
	    org.apache.commons.collections.set.ListOrderedSet var54 = new org.apache.commons.collections.set.ListOrderedSet();
	    java.util.List var55 = var54.asList();
	    java.util.List var56 = var54.asList();
	    org.apache.commons.collections.set.ListOrderedSet var57 = new org.apache.commons.collections.set.ListOrderedSet();
	    java.util.List var58 = var57.asList();
	    org.apache.commons.collections.set.ListOrderedSet var59 = org.apache.commons.collections.set.ListOrderedSet.decorate((java.util.Set)var57);
	    org.apache.commons.collections.set.ListOrderedSet var60 = new org.apache.commons.collections.set.ListOrderedSet();
	    java.util.List var61 = var60.asList();
	    org.apache.commons.collections.set.ListOrderedSet var62 = org.apache.commons.collections.set.ListOrderedSet.decorate((java.util.Set)var57, var61);
	    boolean var63 = var54.containsAll((java.util.Collection)var61);
	    org.apache.commons.collections.set.ListOrderedSet var64 = org.apache.commons.collections.set.ListOrderedSet.decorate((java.util.Set)var42, var61);
	    java.lang.Integer var65 = new java.lang.Integer((-1));
	    org.apache.commons.collections.set.ListOrderedSet var66 = new org.apache.commons.collections.set.ListOrderedSet();
	    java.util.List var67 = var66.asList();
	    java.util.List var68 = var66.asList();
	    var66.clear();
	    java.lang.Integer var70 = new java.lang.Integer((-1));
	    org.apache.commons.collections.set.ListOrderedSet var71 = new org.apache.commons.collections.set.ListOrderedSet();
	    java.lang.Integer var72 = new java.lang.Integer((-1));
	    org.apache.commons.collections.set.ListOrderedSet var73 = new org.apache.commons.collections.set.ListOrderedSet();
	    java.util.List var74 = var73.asList();
	    org.apache.commons.collections.set.ListOrderedSet var75 = org.apache.commons.collections.set.ListOrderedSet.decorate((java.util.Set)var73);
	    boolean var76 = var71.addAll((int)var72, (java.util.Collection)var73);
	    boolean var77 = var66.addAll((int)var70, (java.util.Collection)var73);
	    org.apache.commons.collections.set.ListOrderedSet var78 = new org.apache.commons.collections.set.ListOrderedSet();
	    java.util.List var79 = var78.asList();
	    java.util.List var80 = var78.asList();
	    org.apache.commons.collections.set.ListOrderedSet var81 = new org.apache.commons.collections.set.ListOrderedSet();
	    java.util.List var82 = var81.asList();
	    org.apache.commons.collections.set.ListOrderedSet var83 = org.apache.commons.collections.set.ListOrderedSet.decorate((java.util.Set)var81);
	    org.apache.commons.collections.set.ListOrderedSet var84 = new org.apache.commons.collections.set.ListOrderedSet();
	    java.util.List var85 = var84.asList();
	    org.apache.commons.collections.set.ListOrderedSet var86 = org.apache.commons.collections.set.ListOrderedSet.decorate((java.util.Set)var81, var85);
	    boolean var87 = var78.containsAll((java.util.Collection)var85);
	    org.apache.commons.collections.set.ListOrderedSet var88 = org.apache.commons.collections.set.ListOrderedSet.decorate((java.util.Set)var66, var85);
	    org.apache.commons.collections.set.ListOrderedSet var89 = new org.apache.commons.collections.set.ListOrderedSet();
	    java.util.List var90 = var89.asList();
	    java.util.List var91 = var89.asList();
	    var89.clear();
	    boolean var93 = var88.removeAll((java.util.Collection)var89);
	    org.apache.commons.collections.set.ListOrderedSet var94 = org.apache.commons.collections.set.ListOrderedSet.decorate((java.util.Set)var89);
	    boolean var95 = var64.addAll((int)var65, (java.util.Collection)var94);
	    boolean var96 = var37.add((java.lang.Object)var64);
	    
	    // Checks the contract:  equals-symmetric on var35 and var22.
	    assertTrue("Contract failed: equals-symmetric on var35 and var22.", var35.equals(var22) == var22.equals(var35));
	    
	    // Checks the contract:  equals-symmetric on var37 and var22.
	    assertTrue("Contract failed: equals-symmetric on var37 and var22.", var37.equals(var22) == var22.equals(var37));

	  }

	  public void test8() throws Throwable {

	    org.apache.commons.collections.set.ListOrderedSet var0 = new org.apache.commons.collections.set.ListOrderedSet();
	    java.util.List var1 = var0.asList();
	    java.util.List var2 = var0.asList();
	    var0.clear();
	    java.lang.Integer var4 = new java.lang.Integer((-1));
	    org.apache.commons.collections.set.ListOrderedSet var5 = new org.apache.commons.collections.set.ListOrderedSet();
	    java.lang.Integer var6 = new java.lang.Integer((-1));
	    org.apache.commons.collections.set.ListOrderedSet var7 = new org.apache.commons.collections.set.ListOrderedSet();
	    java.util.List var8 = var7.asList();
	    org.apache.commons.collections.set.ListOrderedSet var9 = org.apache.commons.collections.set.ListOrderedSet.decorate((java.util.Set)var7);
	    boolean var10 = var5.addAll((int)var6, (java.util.Collection)var7);
	    boolean var11 = var0.addAll((int)var4, (java.util.Collection)var7);
	    boolean var12 = var7.isEmpty();
	    java.lang.String var13 = var7.toString();
	    org.apache.commons.collections.set.ListOrderedSet var14 = new org.apache.commons.collections.set.ListOrderedSet();
	    java.util.List var15 = var14.asList();
	    org.apache.commons.collections.set.ListOrderedSet var16 = org.apache.commons.collections.set.ListOrderedSet.decorate((java.util.Set)var14);
	    org.apache.commons.collections.set.ListOrderedSet var17 = new org.apache.commons.collections.set.ListOrderedSet();
	    java.util.List var18 = var17.asList();
	    org.apache.commons.collections.set.ListOrderedSet var19 = org.apache.commons.collections.set.ListOrderedSet.decorate((java.util.Set)var14, var18);
	    org.apache.commons.collections.set.ListOrderedSet var20 = new org.apache.commons.collections.set.ListOrderedSet();
	    java.util.List var21 = var20.asList();
	    java.util.List var22 = var20.asList();
	    org.apache.commons.collections.set.ListOrderedSet var23 = org.apache.commons.collections.set.ListOrderedSet.decorate((java.util.Set)var14, var22);
	    boolean var24 = var7.addAll((java.util.Collection)var14);
	    java.lang.Object[] var25 = var7.toArray();
	    org.apache.commons.collections.set.ListOrderedSet var26 = new org.apache.commons.collections.set.ListOrderedSet();
	    java.util.List var27 = var26.asList();
	    java.util.List var28 = var26.asList();
	    var26.clear();
	    java.lang.Integer var30 = new java.lang.Integer((-1));
	    org.apache.commons.collections.set.ListOrderedSet var31 = new org.apache.commons.collections.set.ListOrderedSet();
	    java.lang.Integer var32 = new java.lang.Integer((-1));
	    org.apache.commons.collections.set.ListOrderedSet var33 = new org.apache.commons.collections.set.ListOrderedSet();
	    java.util.List var34 = var33.asList();
	    org.apache.commons.collections.set.ListOrderedSet var35 = org.apache.commons.collections.set.ListOrderedSet.decorate((java.util.Set)var33);
	    boolean var36 = var31.addAll((int)var32, (java.util.Collection)var33);
	    boolean var37 = var26.addAll((int)var30, (java.util.Collection)var33);
	    org.apache.commons.collections.set.ListOrderedSet var38 = new org.apache.commons.collections.set.ListOrderedSet();
	    java.util.List var39 = var38.asList();
	    java.util.List var40 = var38.asList();
	    org.apache.commons.collections.set.ListOrderedSet var41 = new org.apache.commons.collections.set.ListOrderedSet();
	    java.util.List var42 = var41.asList();
	    org.apache.commons.collections.set.ListOrderedSet var43 = org.apache.commons.collections.set.ListOrderedSet.decorate((java.util.Set)var41);
	    org.apache.commons.collections.set.ListOrderedSet var44 = new org.apache.commons.collections.set.ListOrderedSet();
	    java.util.List var45 = var44.asList();
	    org.apache.commons.collections.set.ListOrderedSet var46 = org.apache.commons.collections.set.ListOrderedSet.decorate((java.util.Set)var41, var45);
	    boolean var47 = var38.containsAll((java.util.Collection)var45);
	    org.apache.commons.collections.set.ListOrderedSet var48 = org.apache.commons.collections.set.ListOrderedSet.decorate((java.util.Set)var26, var45);
	    org.apache.commons.collections.set.ListOrderedSet var49 = new org.apache.commons.collections.set.ListOrderedSet();
	    int var50 = var49.size();
	    boolean var51 = var26.add((java.lang.Object)var50);
	    java.lang.Long var52 = new java.lang.Long(0L);
	    var7.add((int)var50, (java.lang.Object)var52);
	    
	    // Checks the contract:  equals-symmetric on var7 and var48.
	    assertTrue("Contract failed: equals-symmetric on var7 and var48.", var7.equals(var48) == var48.equals(var7));
	    
	    // Checks the contract:  equals-symmetric on var26 and var9.
	    assertTrue("Contract failed: equals-symmetric on var26 and var9.", var26.equals(var9) == var9.equals(var26));

	  }
}
